\begin{tabbing}
master{-}constraints(${\it es}$;${\it Master}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$e_{1}$, $e_{2}$:E(${\it Master}$). ($e_{1}$ $<$ $e_{2}$) $\vee$ $e_{2}$ c$\leq$ $e_{1}$)\+
\\[0ex]\& (\=$\forall$$e_{1}$, $e_{2}$:E(${\it Master}$).\+
\\[0ex]($e_{1}$ $<$ $e_{2}$)
\\[0ex]$\Rightarrow$ ($\uparrow$cmconfig?(${\it Master}$($e_{1}$)))
\\[0ex]$\Rightarrow$ ($\uparrow$cmconfig?(${\it Master}$($e_{2}$)))
\\[0ex]$\Rightarrow$ cmconfig{-}list(${\it Master}$($e_{2}$)) $\subseteq$ cmconfig{-}list(${\it Master}$($e_{1}$)))
\-\-
\end{tabbing}